Logical reasoning - PDFSEARCH.IO - Document Search Engine

Logical reasoning
Results: 409

#	Item
101	Confidentiality-preserving Proof Theories for Distributed Proof Systems Kazuhiro Minami Nikita Borisov Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-01-05 00:32:19 Logical consequence Reasoning Datalog Rule of inference Knowledge base Proof theory Logic Propositional calculus Inference
102	Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps∗ David Delahaye1 , Damien Doligez2 , Frédéric Gilbert2 , Pierre Halmagrand1 and Olivier Hermant3 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:16:51 Logical syntax Logic in computer science Proof theory Mathematical logic Mathematical proof Theorem Formal proof Automated reasoning Logic Mathematics Automated theorem proving
103	What is Philosophy? PHIL 110A Add to Reading List Source URL: cogsci.uwaterloo.ca Language: English - Date: 2013-01-07 14:36:21 Reasoning Epistemology Logical consequence Deduction Critical thinking Inductive reasoning Argument Inference Abductive reasoning Logic Science Knowledge
104	What is Philosophy? PHIL 255 Add to Reading List Source URL: cogsci.uwaterloo.ca Language: English - Date: 2014-01-06 11:18:01 Reasoning Epistemology Logical consequence Critical thinking Problem solving Inductive reasoning Inference Argument Reason Logic Science Knowledge
105	Open Research Online The Open University’s repository of research publications and other research outputs Measuring the understandability of deduction rules for OWL Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2014-11-26 01:15:49 Logical consequence Reasoning Knowledge representation Knowledge engineering Semantic Web Inference Entailment Semantic reasoner Ontology Logic Science Knowledge
106	Stanford’s 2014 Slot Filling Systems Gabor Angeli∗ , Sonal Gupta∗ , Melvin Jose∗ , Christopher D. Manning∗ Christopher R´e∗ , Julie Tibshirani∗ , Jean Y. Wu∗ , Sen Wu∗ , Ce Zhang† ∗ Stanford Univer Add to Reading List Source URL: i.stanford.edu Language: English - Date: 2014-12-29 19:10:03 Inference Logical consequence Reasoning Machine learning Probability Causality Logic Statistics Knowledge
107	Crowd-scale Interactive Formal Reasoning and Analytics Ethan Fast1 , Colleen Lee1 , Alex Aiken1 , Michael Bernstein1 , Daphne Koller1 , Eric Smith2 Stanford University1 , Kestrel Institute2 {ethan.fast, clee0, aiken, msb Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-07-11 01:52:09 Proof theory Automated theorem proving Mathematical logic Theorem Formal proof First-order logic LL parser Parsing Syntax Logic Logical syntax Formal languages
108	Artificial IntelligenceElsevier 31 Logic and artificial intelligence Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:30:59 Philosophy of language Reasoning Programming paradigms Knowledge representation and reasoning Entailment Function First-order logic Interpretation Proposition Logic Philosophical logic Logical syntax
109	ExampleProofTree_Corrected.png Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2014-11-25 16:32:43 Logical syntax Semantic Web Proof theory Inference Entailment Web Ontology Language Semantic reasoner Formal proof Deduction Logic Reasoning Logical consequence
110	Relieving the Computational Bottleneck: Joint Inference for Event Extraction with High-Dimensional Features Deepak Venugopal and Chen Chen and Vibhav Gogate and Vincent Ng Department of Computer Science and Human Languag Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-08-27 12:24:20 Knowledge Computational linguistics Speech recognition Reasoning Arguments N-gram Support vector machine Inference Markov logic network Logic Science Logical consequence

UPDATE